| emsoft | participants

Philip Tasche

EMSOFT 2025: 25th International Conference on Embedded Software

Deductive Verification of Cooperative RTOS Applications

Philip Tasche, Paula Herber, and Marieke Huisman